1. Scientific computation with automatic result verification
پدیدآورنده : U. Kulisch and H.J. Stetter (eds.)
موضوع : Numerical calculations- Verification- Congresses,Algorithms- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Topics in validated computations
پدیدآورنده : / edited by Jeurgen Herzberger
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Interval analysis (Mathematics), Congresses,Numerical calculations, Verification, Congresses,Algorithms, Congresses,Linear algebra
رده :
QA297
.
75
.
I43
1993
3. Topics in validated computations
پدیدآورنده : / edited by Jurgen Herzberger
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Interval analysis (Mathematics)- Congresses,Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA297
.
75
.
I43
1993
